Compilation of Id

نویسندگان

  • Zena M. Ariola
  • Arvind
چکیده

In this paper we illustrate, using the Id language, that both the operational semantics of a language and its compilation process can be formalized together. Id is a higher-order non-strict functional language augmented with I-structures and M-structures. The operational semantics of Id is given in terms of a smaller kernel language, called Kid. Kid is also the intermediate form used by the compiler to perform type checking and optimizations. Optimizations are described as extensions of Kid operational semantics. A criteria for correctness of optimizations is presented. P-TAC, a lower-level language, is introduced to capture some eeciency issues related to code generation. The salient features of translating Kid into P-TAC are presented.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs

We present a dataow extension of OpenMP to express highly dynamic control and data ow over nested, dependent tasks. The language supports dynamic creation, modular composition, variable and unbounded sets of producers/consumers, separate compilation, and rstclass streams. These features, enabled by our original compilation ow, allow translating high-level parallel programming patterns, like dep...

متن کامل

Executing a Program on the MIT Tagged-Token Dataflow Architecture

The MIT Tagged-Token Dataflow project has an unconventional, but integrated approach to general-purpose high-performance parallel computing. Rather than extending conventional sequential languages, we use Id, a high-level language with fine-grained parallelism and determinacy implicit in its operational semantics. Id programs are compiled to dynamic dataflow graphs, a parallel machine language....

متن کامل

Sujet de these: ASPECTS THEORIQUES ET PRATIQUES DE L'INFERENCE DE TYPE ET D'EFFETS

ion To translate an abstraction the compiler rst compiles the body of the source FX abstraction Then if the lambda abstraction can be parallelized according to the predicate PF de ned below an f structure initialization is generated which pairs up the sequential version of the function generated by SC with its parallel version generated by PC presented in the next section SC lambda x te x ' let...

متن کامل

Compilation of causal model of the relationship between academic perfectionism and academic proclivity of medical students: with the role of mediation of emotional self-awareness

Abstract  Background and Aims: According to the important role of the psychological variables on students various dimensions of health and academic performance, The purpose of the present study was to Compilation of causal model of the relationship between academic perfectionism and academic proclivity of medical students with the role of mediation of emotional self-awareness. Methods: Correla...

متن کامل

نقش باور دینی و سبک مدارا در پیش بینی سلامت عمومی مادران دارای کودک دچار ناتوانی ذهنی

Objective: The aim of this study was to compare the role of religiosity dimensions and coping styles in the predicting general health of mothers of children with and without intellectual disabilities (ID). Method: A total of 124 mothers of children with ID and 124 mothers without a child with ID were matched and selected using cluster sampling. Data were collected using general health ques...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1991